VDict mobile



Propositional DynamicLogic not found. Suggestions:

propositional logic
propositional calculus
predicate logic
modal logic
PLTL
PDL
temporal logic